var searchData=
[
  ['taskresult_2eh',['TaskResult.h',['../_task_result_8h.html',1,'']]]
];
